Approximation d'un nombre p-adique par des nombres algebriques

Énumération des permutations par nombre de marches

— A step in a permutation a: a2.. .aH isanatsuch thatai+] = af — 1 . Itis proved that the number M (n, k) of permutations with exactly k steps is given by M (n, k) = ( J d (n — k + \)i{n — k) where d{n) is the number of dérangements (permutations with every element displaced). INTRODUCTION Les propriétés combinatoires des permutations, notamment rémunération des permutations suivant le nombre d...

Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres

La mise en œuvre effective de méthodes de vérification de programmes comportant des calculs sur les nombres à virgule flottante reste encore problématique. Cela est en partie dû aux difficultés inhérentes à l’arithmétique des nombres à virgule flottante dont la pauvreté des propriétés rend souvent impossible la transposition de résultats établis sur les réels. C’est pourquoi nous présentons dan...

Diviseurs Des Nombres Ellipséphiques

Journal de Théorie des Nombres

On the mean square of the divisor function in short intervals par Aleksandar IVI´C Résumé. On donne des estimations pour la moyenne quadratique de 2X X (∆ k (x + h) − ∆ k (x)) 2 dx, o` u h = h(X) ≫ 1, h = o(x) quand X → ∞ et h se trouve dans un intervalle convenable. Pour k 2 un entier fixé, ∆ k (x) et le terme d'erreur pour la fonction sommatoire de la fonction des diviseurs d k (n), generée p...

de Théorie des Nombres de Bordeaux 18 ( 2006 ) , 721 – 727 GiANT : Graphical Algebraic Number Theory par

While most algebra is done by writing text and formulas, diagrams have always been used to present structural information clearly and concisely. Text shells are the de facto interface for computational algebraic number theory, but they are incapable of presenting structural information graphically. We present GiANT, a newly developed graphical interface for working with number fields. GiANT off...